符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

基于图元的火控系统人机交互界面的实现

本文提出基于图元的火控系统人机交互界面,在客户端/服务器信息处理与显示模式下,根据火控系统人机交互界面的实际需求,设计出所需的图元库。然后,利用图元库设计出部分UI界面,完成UI界面的注册过程以及相应的控制文件的编写设计,将用户操作同界面数据进行关联。最后,设计并搭建显控服务和图元终端,采用DDS通信协议,实现服务器端和客户端的数据传输。该设计过程将界面显示与应用程序、逻辑处理、业务过程相分离。这种设计思想符合模块化、系列化发展思路,与模块化火控设计思想一致。     

禁忌单亲遗传算法的某指挥控制舱协同任务规划

指挥控制舱是武器系统中指挥控制的功能核心,通过多人协同交互完成指控任务。为提高人员协同效率和操控效率。建立了以完成所有任务的时间最短为目标函数的多人协同任务规划模型。在求解模型时,采用禁忌单亲遗传混合优化算法,通过无性繁殖的方法,减少了在子代中产生无效染色体的情况,提升了算法的效率,通过禁忌算法有效避免陷入局部极小值。通过实例分析,算法使总任务执行时间减少了12豫。本模型以及求解算法在解决指挥控制舱多人协同任务规划时具有可行性,对指挥控制舱任务流程设计具有一定参考价值。     

固定形式的变结构控制对应的趋近律

对固定形式的变结构控制对应的趋近律进行了研究,分别推导出用全部状态构成的控制、用部分状态构成的控制以及形式为u＝ueq＋ud的控制所对应的趋近律．     

舰用监控装置的最新技术-MCS-5监控系统

对德国MTU公司新近推出的MCS－5监控系统进行了分析,并同MCS－4监控系统进行了比较．对MCS－5监控系统在组成、原理和性能诸方面的特点作了说明．     

神经模糊控制及其在舰船动力系统中的应用

介绍了神经模糊控制的原理与方法,考虑了其在舰船动力系统中的应用．     

稳像火控中目标角速度测量误差及滤波方法

对稳像火控系统中目标角速度的测量过程进行了分析,指出采用自动传感器测量目标角速度仍存在误差,且对射击诸元的影响较大;在计算机采集数据的有限时间段内,该误差序列为均值不为零的随机干扰噪声,采用均值—中值加权滤波方法可有效减小该嗓声对射击诸元影响.     

基于神经网络的四轮转向车辆辨识和控制

车辆的动力学受各种非线性因素(如轮胎特性和路面状况)的影响,因此,利用两自由度线性车辆模型很难描述车辆的动力学.本文提出了一个新的基于神经网络非线性建校和控制能力的4WS控制系统.首先将车辆动力学辩识为一个RBF冈给车辆模型,然后利用该RBF网络车辆模型设计RBF网络控制器.通过计算机仿真说明了所提方法的有效性.     

基于自由边控制流图的路径覆盖分析实现方法

针对路径覆盖测试,给出了一般循环结构的一种简化处理方案及把按此方案得到的控制流图转化为自由边控制流图方法,并探讨了基于自由边控制流图进行路径覆盖分析的实现方法和优点。     

载人飞船逃逸飞行段姿态控制律设计

载人飞船在逃逸飞行过程中,需要对其姿态作较大幅度的调整,调整幅度可达０°～１８０°,飞船姿态的调整可以通过控制俯仰通道来完成。由于飞船姿态运动的三个通道一般是相互交连的,因此,在作姿态大幅度调整的过程中,还需要对其它两个通道进行姿态稳定。本文设计的一种相平面开关曲线和相应的姿态控制律,既可以用于飞船作大姿态调整,又可以用于姿态稳定。数字仿真结果表明,只要合理选择开关控制曲线的有关参数,可使姿态控制精度满足设计要求。